Перевод: со всех языков на все языки

со всех языков на все языки

multiple-valued logic

См. также в других словарях:

  • multiple-valued logic — daugiareikšmė logika statusas T sritis automatika atitikmenys: angl. many valued logic; multiple valued logic; multivalued logic vok. mehrdeutige Logik, f; mehrstellige Logik, f; mehrwertige Logik, f rus. многозначная логика, f pranc. logique… …   Automatikos terminų žodynas

  • Many-valued logic — In logic, a many valued logic (also multi or multiple valued logic) is a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle s logical calculus, there were only two possible values (i.e., true and… …   Wikipedia

  • Multi-valued logic — Multi valued logics are logical calculi in which there are more than two truth values. Traditionally, logical calculi are two valued that is, there are only two possible truth values (i.e. truth and falsehood) for any proposition to take. An… …   Wikipedia

  • many-valued logic — daugiareikšmė logika statusas T sritis automatika atitikmenys: angl. many valued logic; multiple valued logic; multivalued logic vok. mehrdeutige Logik, f; mehrstellige Logik, f; mehrwertige Logik, f rus. многозначная логика, f pranc. logique… …   Automatikos terminų žodynas

  • Logic — For other uses, see Logic (disambiguation). Philosophy …   Wikipedia

  • Espresso heuristic logic minimizer — The Espresso logic minimizer is a computer program using heuristic and specific algorithms for efficiently reducing the complexity of digital electronic gate circuits.[1] Espresso was developed at IBM by Robert Brayton. Rudell later published the …   Wikipedia

  • Logic synthesis — is a process by which an abstract form of desired circuit behavior (typically register transfer level (RTL) or behavioral) is turned into a design implementation in terms of logic gates. Common examples of this process include synthesis of HDLs,… …   Wikipedia

  • multivalued logic — daugiareikšmė logika statusas T sritis automatika atitikmenys: angl. many valued logic; multiple valued logic; multivalued logic vok. mehrdeutige Logik, f; mehrstellige Logik, f; mehrwertige Logik, f rus. многозначная логика, f pranc. logique… …   Automatikos terminų žodynas

  • Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… …   Wikipedia

  • Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… …   Wikipedia

  • Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»